Goals: Add links that are reasonable and good explanations of how stuff works. No hype and no vendor content if possible. Practical first-hand accounts of models in prod eagerly sought.
Discover gists
/******************************************************************************* | |
* | |
* A minimal Forth compiler in C | |
* By Leif Bruder <leifbruder@gmail.com> http://defineanswer42.wordpress.com | |
* Release 2014-04-04 | |
* | |
* Based on Richard W.M. Jones' excellent Jonesforth sources/tutorial | |
* | |
* PUBLIC DOMAIN | |
* |
#!/bin/bash | |
# | |
# https://docs.docker.com/build/buildkit/ | |
# https://github.com/docker/buildx/releases/ | |
# https://github.com/docker/buildx | |
mkdir -p $HOME/.docker/cli-plugins | |
wget https://github.com/docker/buildx/releases/download/v0.11.2/buildx-v0.11.2.linux-amd64 | |
chmod +x buildx-v0.11.2.linux-amd64 | |
mv buildx-v0.11.2.linux-amd64 $HOME/.docker/cli-plugins/docker-buildx |
<html> | |
<head> | |
<style> | |
h1 { | |
text-align: center; | |
color: blueviolet; | |
} | |
h2 { | |
text-align: center; |
Today, John Tromp - creator of the Binary λ-Calculus, and one of the smartest functional wizards alive - ported his famous prime number generator (first published 12 years ago!) to HVM:
- No proxy for:
*.apache.org, *.github.com, *.github.io, *.githubusercontent.com, *.gitlab.com, *.google.com, *.gradle.org, *.jetbrains.space, *.maven.org, *.micronaut.io, *.quarkus.io, *.scala-sbt.org, *.schemastore.org, *.spring.io, cache-redirector.jetbrains.com, cloudconfig.jetbrains.com, download-cdn.jetbrains.com, download.jetbrains.com, downloads.marketplace.jetbrains.com, ea-report.jetbrains.com, github.com, gitlab.com, google.com, gradle.org, jcenter.bintray.com, jitpack.io, micronaut.io, plugins.jetbrains.com, quarkus.io, repo.papermc.io, resources.jetbrains.com, spring.io, www.jetbrains.com
Activation Key:
UX394X3HLT-eyJsaWNlbnNlSWQiOiJVWDM5NFgzSExUIiwibGljZW5zZWVOYW1lIjoiSG9uZ2lrIFVuaXZlcnNpdHntmY3snbXrjIDtlZnqtZAiLCJsaWNlbnNlZVR5cGUiOiJDTEFTU1JPT00iLCJhc3NpZ25lZU5hbWUiOiLkvJfliJvkupEg5bel5L2c5a6kIiwiYXNzaWduZWVFbWFpbCI6ImhhbmF6YXdhbWl0b0BnbWFpbC5jb20iLCJsaWNlbnNlUmVzdHJpY3Rpb24iOiJG
/* Note: this Google copyright notice only applies to the original file, which has large sections copy-pasted here. my changes are under CC0 (public domain). | |
* Copyright 2015 Google Inc. | |
* | |
* Use of this source code is governed by a BSD-style license that can be | |
* found in the LICENSE file. | |
*/ | |
/* | |
The official instructions don't work well. These alternative instructions are intended to be the shortest path to get a minimal setup running. |
includes_registered_domains | domain | |
---|---|---|
outlook.com | 606741 | |
google.com | 403872 | |
mcsv.net | 135641 | |
websitewelcome.com | 132545 | |
ovh.com | 83291 | |
mandrillapp.com | 83021 | |
mailchannels.net | 78685 | |
sendgrid.net | 72738 | |
bluehost.com | 70342 |
domain_alexa_rank | domain | num_email_security_providers | email_security_providers | |
---|---|---|---|---|
- | mqsadvisors.com | 4 | ZixMail,AppRiver,fusemail,Protonmail | |
- | primo.com.au | 4 | Mimecast,Mcafee,Symantec,Proofpoint | |
- | fera.co.uk | 4 | Symantec,Forcepoint,fusemail,Protonmail | |
110703.0 | pivotal.io | 4 | Cisco Ironport,Mimecast,Symantec,Proofpoint | |
- | premiercu.org | 4 | Mimecast,Cisco Ironport,Fortinet,Proofpoint | |
- | pendletonplace.org | 4 | AppRiver,Mimecast,Mcafee,ZixMail | |
- | mysolutions.biz | 4 | AppRiver,Reflexion,Can-It Pro,ZixMail | |
- | tracintermodal.com | 4 | Mimecast,ZixMail,AppRiver,BAE Systems | |
220653.0 | pallet-track.co.uk | 4 | the email laundry,hornetsecurity,ZixMail,AppRiver |
Sidenote: you will still need one, but by the end of the guide you should only need to deal with this process once per year, assuming nothing changes.
So, if you're like me you used ProtonVPN as a way to get around the most recent DMM block beginning in August of 2023.
Of course, you can't always have your cake & eat it too. So, what Proton did, some months later: no more server choices even with their already limited country selection for free users, and no more split tunneling either.
That's what most people think at least. Me, personally, I found a solution.